Lecture Notes on the Principles of Programming Languages

نویسندگان

  • Shriram Krishnamurthi
  • Matthias Felleisen
چکیده

4 Syntactic Interpreter for LC (Behavior) 17 4.1 Rules of Evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 4.2 An Evaluator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 4.3 Toward Assigning Meaning to Phrases . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 4.4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Factors affecting students tendency of Univercity students to Lecture Notes

Introduction: Many studies detected factors contributing to the students’ tendency to lecture notes. This study aimed at evaluating the factors affecting students tendency to lecture notes in Hormozgan University of Medical Sciences. Methods: In this descriptive study, 179 students from medicine, nursing & midwifery, health, and Paramedicine schools were selected through stratified random...

متن کامل

Comparative Studies of Programming Languages; Course Lecture Notes

Lecture notes for the Comparative Studies of Programming Languages course, COMP6411, taught at the Department of Computer Science and Software Engineering, Faculty of Engineering and Computer Science, Concordia University, Montreal, QC, Canada. These notes include a compiled book of primarily related articles from the Wikipedia, the Free Encyclopedia, as well as Comparative Programming Language...

متن کامل

Lecture Notes on Language-Based Security

These lecture notes discuss language-based security, which is the term loosely used for the collection of features and mechanisms that a programming language can provide to help in building secure applications. These features include: memory-safety and typing, as offered by so-called safe programming languages; language mechanisms to enforce various forms of access control (such as sandboxing),...

متن کامل

Lecture Notes on Dynamical Systems & Dynamic Axioms

Lecture 4 on Safety & Contracts demonstrated how useful and crucial CPS contracts are for CPS. Their role and understanding goes beyond dynamic testing, though. In CPS, proven CPS contracts are infinitely more valuable than dynamically tested contracts, because dynamical tests of contracts at runtime of a CPS generally leave open very little flexibility for reacting to them in any safe way. Aft...

متن کامل

Usability of Programming Languages

This is a practical course, in which most of the learning will be achieved by the design and execution of original research experiments. The purpose of these lecture notes is to give a broad introduction to research in the field, both classic research (as collected in the Hoc, Green Samurcay and Gilmore book Psychology of Programming – henceforth called ‘PoP’), and contemporary research current...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997